Improved analysis of greedy mapping

We analyze Greedy Mapping, a simple mapping method that has successfully been used on mobile robots. Greedy Mapping moves the robot from its current location on a shortest path towards a closest unvisited, unscanned or informative location, until the terrain is mapped. Previous work has resulted in upper and lower bounds on its worst-case travel distance but there was a large gap between the bounds. In this paper, we reduce the gap substantially by decreasing the upper bound from O(|V |) to O(|V | ln |V |) edge traversals, where |V | is the number of vertices of the graph. This upper bound demonstrates that the travel distance of Greedy Mapping is guaranteed to be small and thus suggests that Greedy Mapping is indeed a reasonable mapping method. The guaranteed good performance of Greedy Mapping is robust in that it holds for different versions of Greedy Mapping, regardless of sensor type